Formula atomica

Nella logica matematica, una formula atomica (nota anche come formula prima) è una formula priva di una struttura proposizionale più profonda, cioè una formula che non contiene connettivi logici o equivalentemente una formula che non ha sottoinsiemi di formule rigorose. Le formule atomiche sono quindi le formule più semplici della logica. Le formule composte si formano combinando le formule atomiche mediante i connettivi logici.

La forma esatta delle formule atomiche varia in funzione della logica in esame; ad esempio, per la logica proposizionale una variabile proposizionale è spesso indicata più brevemente come una "formula atomica"; tuttavia, più precisamente, una variabile proposizionale non è una formula atomica, quanto piuttosto un'espressione formale che la denota. Per la logica dei predicati, gli atomi sono simboli che sono predicati unitamente ai propri argomenti, laddove ogni argomento è un termine . Nella teoria dei modelli, le formule atomiche sono semplicemente stringhe di simboli con una data segnatura, che possono essere o meno soddisfacenti rispetto a un dato modello.^[1]